((v8 v3 1) (v7 v1 7) (v4 v6 4) (v1 v2 4) (v1 v5 5) (v8 v6 0) (v2 v3 4) (v6 v5 0) (v8 v1 9) (v5 v3 0) (v8 v7 8) (v2 v7 2) (v6 v7 0) (v7 v4 3) (v2 v5 3) (v8 v4 2) (v4 v5 2) (v3 v1 4))
71
((v5 v2) (v4 v3) (v7 v6) (v1 v4))